%\usepackage[T1]{fontenc}
\usepackage{color}
\usepackage{cite}
%\usepackage{amsmath,  amsthm,  amssymb}
%\usepackage{amsmath,    amssymb}
%\usepackage[pdftex]{hyperref}
\usepackage[english]{babel}
\usepackage{verbatim}
%\usepackage[dvips]{graphicx}


%\usepackage{algorithmic}
%\usepackage{algorithm}
%\usepackage{listings}
%\usepackage{clrscode}


%\usepackage{styles/algorithmic}
%\usepackage{styles/algorithm}
%\usepackage{styles/listings}
%\usepackage{styles/clrscode}
\usepackage{clrscode}

\usepackage{url}

\def\backGroundColor{white}
\def\txtsize{\normalsize}
\def\bl{\par\textcolor{\backGroundColor}{\txtsize{ empty line }}\par}
\def\it{\textit}
\def\sur{m}
\def\surit{\it{m}}

%\newtheorem{definition}{Definition}
\newtheorem{proposition}{Proposition}
%\newtheorem{algorithm}{Algorithm}
\newtheorem{theorem}{Theorem}
\newtheorem{formula}{Formula}
\newtheorem{lemma}{Lemma}
\newtheorem{problem}{Problem}
\newtheorem{corollary}{Corollary}

\newtheorem{Plain}{}

\def\includeComments{include}
\def\includ{include}

\def\comm[#1]{\ifx\includeComments\includ  \bl \texttt{\textbf{\textit{Note: #1}}} \par \fi}
\def\inlinecomm[#1]{\ifx\includeComments\includ  \textit{Note: #1} \fi}
\def\dn{$k$ }
\def\sn{$n$ }

\def\ith{$i^{th}$}
\def\d{$d$}


\newenvironment{prf}{\vspace*{-0.1in}{\em Proof:} \nopagebreak }{{\hfill$\blackbox$}\vspace{0.1in}}

\def\sma{SMA}
\def\decsma{DecSMA}

\newcommand{\comments}[1]{\textit{\underline{Note: #1}}}

\newcommand{\MySection}[1]{\section{\textbf{#1}}}
\newcommand{\MySubSection}[1]{\subsection{\textbf{#1}}}

\def\comfat{combined fatness }

\newcommand{\para}[1]{\medskip \noindent {\bf #1}}
\newcommand{\softpara}[1]{\smallskip \noindent \underline{#1}}

\pagenumbering{arabic} \pagestyle{plain}

\newcommand{\F}{\mbox{${\cal F}$}}
\newcommand{\dl}{\mbox{${\delta}$}}
\newcommand{\B}{\mbox{${B_{\dl}}$}}
\newcommand{\e}{\mbox{${\varepsilon}$}}

\newcommand{\red}[1]{\textcolor{red}{#1}}
\newcommand{\blue}[1]{\textcolor{black}{#1}}
%\newcommand{\blue}[1]{\textcolor{blue}{#1}}


\newcommand{\ommited}[1]{\textcolor{magenta}{#1}}
%\newcommand{\ommited}[1]{}



\newcommand{\cbl}{\color{blue}}
%\newcommand{\cbl}{\color{black}}
\newcommand{\cw}{\color{white}}
\newcommand{\cb}{\color{black}}
\newcommand{\uneat}[1]{\textcolor{green}{#1}}
\newcommand{\Eat}[1]{}
\newcommand{\eat}[1]{}

\newenvironment{definition}[1]{\begin{defin}\begin{rm}({#1})}
        {{\hfill$\Box$} \end{rm}\end{defin}}
\newtheorem{defin}{Definition}

\newtheorem{thm}{Theorem}


\Eat{
\newtheorem{ex}{EXAMPLE}
\newtheorem{thm}{Theorem}
\newtheorem{lem}{Lemma}
\newtheorem{alg}{Algorithm}
\newtheorem{ob}{Observation}

\newenvironment{prf}{{\em Proof:} \nopagebreak }{{\hfill$\blackbox$}}
\newenvironment{example}{\begin{ex} \nopagebreak
  \begin{rm}}{{\hfill$\Box$} \end{rm}\end{ex}}
\newenvironment{definition}[1]{\begin{defin}\begin{rm}({#1})}
        {{\hfill$\Box$} \end{rm}\end{defin}}
\newenvironment{theorem}{\begin{thm} \nopagebreak}{{\hfill$\Box$} \end{thm}}
\newenvironment{thm-prf}{\begin{thm} \nopagebreak}{\end{thm}}
\newenvironment{lemma}{\begin{lem} \nopagebreak}{{\hfill$\Box$} \end{lem}}
\newenvironment{lem-prf}{\begin{lem} \nopagebreak}{\end{lem}}
%\newenvironment{algorithm}{\begin{alg}\nopagebreak\begin{rm}
%        \begin{tabbing}Tb\=Tb\=Tb\=Tb\=Tb\=Tb\=Tb\=Tb\=Tb\=Tb\=Tb\=Tb\=Tb\=\kill}
%        {$\Diamond$ \end{tabbing}\end{rm}\end{alg}}
\newenvironment{observation}{\noindent \begin{ob}}{{\hfill$\Box$}\end{ob}}
}
\newcommand{\Max}{{\bf max}}



\newcommand{\squishlist}{
 \begin{list}{$\bullet$}
  { \setlength{\itemsep}{0pt}
     \setlength{\parsep}{3pt}
     \setlength{\topsep}{3pt}
     \setlength{\partopsep}{0pt}
     \setlength{\leftmargin}{1.5em}
     \setlength{\labelwidth}{1em}
     \setlength{\labelsep}{0.5em} } }

\newcommand{\squishlisttwo}{
 \begin{list}{$\bullet$}
  { \setlength{\itemsep}{0pt}
     \setlength{\parsep}{0pt}
    \setlength{\topsep}{0pt}
    \setlength{\partopsep}{0pt}
    \setlength{\leftmargin}{2em}
    \setlength{\labelwidth}{1.5em}
    \setlength{\labelsep}{0.5em} } }

\newcommand{\squishend}{
  \end{list}  }
